package at.tasat.solver.queue;

import at.tasat.solver.Queue;
import at.tasat.solver.QueueFactory;
import at.tasat.solver.VariableOccurencesList;

public class StaticVariableOccurencesQueueFactory extends QueueFactory {
	@Override
	public String getName() {
		return "static-occurences";
	}

	@Override
	public Queue create(int numVariables, VariableOccurencesList occurencesList) {
		return new StaticVariableOccurencesQueue(numVariables, occurencesList);
	}

}
